Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
601	COMS11700 Pushdown automata Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:32 Computer science Pushdown automaton Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Stack Deterministic pushdown automaton Nested word Automata theory Models of computation Theoretical computer science
602	The Intelligence Crafter: a Fuzzy State Machine Builder Program by F. Martin McNeill Fuzzy Systems Engineering Add to Reading List Source URL: www.foretrade.com Language: English - Date: 2009-09-24 09:59:32 Digital electronics Control engineering Fuzzy control system Finite-state machine State Fuzzy logic Models of computation Logic
603	in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Presspp 264–SOS++: Finding Smart Behaviors Using Learning and Evolution Bertrand Mesot1 , Eduardo Sanchez1 , Carlos-Andres Pe˜ Add to Reading List Source URL: alife8.alife.org Language: English - Date: 2013-01-14 08:22:52 Artificial intelligence Models of computation Reinforcement learning Q-learning Finite-state machine Genetic algorithm Algorithm S0 Evolutionary robotics Machine learning Applied mathematics Cybernetics
604	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Computability theory Functions and mappings Models of computation Functional languages Lambda calculus Interpretation Function First-order logic Mathematical logic Mathematics Logic
605	invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-03-05 16:31:49 Models of computation Programming language semantics Logic in computer science Control theory Signal processing Denotational semantics Hybrid system Scicos Operational semantics Theoretical computer science Mathematics Applied mathematics
606	39 Closing the Gap: Sequence Mining at Scale KAUSTUBH BEEDKAR, Max Planck Institute for Informatics KLAUS BERBERICH, Max Planck Institute for Informatics RAINER GEMULLA, University of Mannheim IRIS MILIARAKI, Yahoo! Labs Add to Reading List Source URL: dws.informatik.uni-mannheim.de Language: English - Date: 2015-04-21 05:27:15 Models of computation Spectral theory Data mining Symbol Sequence mining
607	On the (Im)possibility of Obfuscating Programs∗ Boaz Barak† Oded Goldreich‡ Amit Sahaik Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2010-07-29 14:23:20 Computability theory Complexity classes Models of computation Theory of computation Obfuscated code Algorithm Oracle machine Pseudorandom function family Computability Theoretical computer science Applied mathematics Computational complexity theory
608	Intensional Polymorphism in Type-Erasure Semantics∗ Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Computer science Applied mathematics
609	Part III Michaelmas 2011 QUANTUM COMPUTATION EXERCISE SHEET 3 (v1.1) Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-06-11 09:48:33 Quantum information science Quantum mechanics Models of computation Quantum algorithms Quantum circuit Matrix Adjacency matrix Eigenvalues and eigenvectors Quantum phase estimation algorithm Mathematics Algebra Theoretical computer science
610	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory

UPDATE